Revision: tla-tools--devo--0--patch-77
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Tue Sep 23 06:15:59 EDT 2003
Standard-date: 2003-09-23 10:15:59 GMT
Modified-files: ChangeLog tla-munge-archive-names.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-77
    miles@gnu.org--gnu-2003/tla-tools--x--0--patch-17
Summary: Cache munged versions; also some code cleanup and commenting

